<?xml version="1.0" encoding="UTF-8"?>
<html>
<head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
    <title>Error: unknown machine</title>
    <style type="text/css">
    	a {
    		text-decoration: none;
    		color: blue;
    	}
    </style>
</head>
<body>
	<h3>Error</h3>
	{{unk}} {{version}}: unknown machine.<br/>
	<a href='../../machinelist'>Go back to the machine list</a>
</body>